Thermodynamics of used punched tape: A weak and a strong equivalence principle
نویسنده
چکیده
We study the repeated use of a monotonic recording medium—such as punched tape or photographic plate—where marks can be added at any time but never erased. (For practical purposes, also the electromagnetic “ether” falls into this class.) Our emphasis is on the case where the successive users act independently and selfishly, but not maliciously; typically, the “first user” would be a blind natural process tending to degrade the recording medium, and the “second user” a human trying to make the most of whatever capacity is left. To what extent is a length of used tape “equivalent”—for information transmission purposes—to a shorter length of virgin tape? Can we characterize a piece of used tape by an appropriate “effective length” and forget all other details? We identify two equivalence principles. The weak principle is exact, but only holds for a sequence of infinitesimal usage increments. The strong principle holds for any amount of incremental usage, but is only approximate; nonetheless, it is quite accurate even in the worst case and is virtually exact over most of the range—becoming exact in the limit of heavily used tape. The fact that strong equivalence does not hold exactly, but then it does almost exactly, comes as a bit of a surprise. Keywords—Thermodynamics of write-once media, Equivalence principles for storage capacity of noisy medium Bob—a poor computer science student—has found, rummaging through Alice’s dump, a large amount of used punched tape “in good conditions”. He doesn’t care for the data that is already on the tape: he would like to reuse the tape for storing his own data. He wants to be able to use a standard tape read/punch unit, which can sense holes in the tape and punch new ones but not remove holes that are already there. Since holes already made cannot be undone, the storage density Bob can expect to achieve is less than with virgin tape, and will depend on the actual conditions of the tape. To what extent is a length of used tape “equivalent”—for information transmission purposes—to a shorter length of virgin tape? Are there any qualitative differences between tapes that have been used to different degrees, or can one characterize a piece of used tape simply by its “effective length” and forget all other details? The theme we develop is complementary to that of Rivest and Shamir[7] (also cf. [6]). They stress the informationengineering aspects of reusing a tape generated by a cooperative partner in a pre-planned context. On the other hand, we are interested in a situation where the other party, while presumed non-malicious, volunteers no cooperation and pursues independent goals (if any goals can be made out); what we typically have in mind for “the other party” is natural processes. Tommaso Toffoli ([email protected]), ECE Department, Boston University, 8 Saint Mary’s St., Boston, MA 02215. 1As humans become more proficient at exploiting physical mechanisms on a finer and finer scale for computational purposes, computation will look more and more like an attempt to encroach on a turf already jammed near capacity by heavy “native” traffic—the near-equilibrium bustle of microscopic matter (cf. Dyson[4]). The present study is part of a wider program aimed at exploring this kind The cumulative channel capacity of randomly-punched used tape was first investigated in [8] (also see references therein), some of whose results we simplify and extend. References [3] and [5] discuss coding algorithms that dynamically adjust to “stuck-at-0” faults on the tape (cells that will not punch) sensed during punching, and “stuckat-1” faults sensed during or before punching. A paper related to the present one in spirit if not in detailed substance is “Writing on dirty paper” by Costa[2], whose moral (“Do the best with what you have”) we make our own. If you have no time at all, read just §V—a self-contained, intuitive debriefing.
منابع مشابه
Statistical Thermodynamics of General Minimal Diffusion Processes: Constuction, Invariant Density, Reversibility and Entropy Production
The solution to nonlinear Fokker-Planck equation is constructed in terms of the minimal Markov semigroup generated by the equation. The semigroup is obtained by a purely functional analytical method via Hille-Yosida theorem. The existence of the positive invariant measure with density is established and a weak form of Foguel alternative proven. We show the equivalence among self-adjoint of the ...
متن کاملPricing Unemployment Insurance in Iran
Abstract Employees always concern about losing their job, or in other word, losing their income resources. For this purpose, governments require strong protection system for covering these concerns. The Unemployment Insurance (UI) program’s can be used for achieving this goal. Based on article five of Iranian unemployment Insurance law, premium is four percent of employee’s salary while emplo...
متن کاملPunch transfer of Melanocytic nevus
Lateral labial melanocytic nevus or mole has cosmetic value among young or middle aged Iranian ladies particularly those with fair complexion. I describe auto transplantation of a melanocytic nevus from a remote area of the body to lateral labial skin. After selection of a 3-mm nevus, both donor and recipient sites were anesthetized. A punch with a diameter comparable to the diameter of t...
متن کاملNew Limits on the Strong Equivalence Principle from Two Long-period Circular-orbit Binary Pulsars
Following a brief review of the principles of the strong equivalence principle (SEP) and tests for its violation in the strong and weak gravitational field regimes, we present preliminary results of new tests using two long-period binary pulsars: J0407+1607 and J2016+1947. PSR J0407+1607 is in a 669day orbit around a > ∼ 0.2M ̄ companion, while J2016+1947 is in a 635-day orbit around a > ∼ 0.3M ̄...
متن کاملThree Common Misconceptions in General Relativity
We highlight and resolve what we take to be three common misconceptions in general relativity, relating to (a) the interpretation of the weak equivalence principle and the relationship between gravity and inertia; (b) the connection between gravitational redshift results and spacetime curvature; and (c) the strong equivalence principle and the local recovery of special relativity in curved, dyn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/cs/0501046 شماره
صفحات -
تاریخ انتشار 2005